Discontinuous Solutions of the Hamilton-jacobi Equations for Exit Time Problems

In general, the value function associated with an exit time problem is a discontin-uous function. We prove that the lower (upper) semicontinuous envelope of the value function is a supersolution (subsolution) of the Hamilton-Jacobi equation involving the proximal subdiierentials (superdiierentials) with subdiierential type (superdiierential type) mixed boundary condition. We also show that if the value function is upper semicontinuous then it is the maximum subsolution of the Hamilton-Jacobi equation involving the proximal superdiierentials with the natural boundary condition, and if the value function is lower semicontinuous then it is the minimum solution of the Hamilton-Jacobi equation involving the proximal subdiierentials with a natural boundary condition. Futhermore, if a compatibility condition is satissed, then the value function is the unique lower semicontinuous solution of the Hamilton-Jacobi equation with a natural boundary condition and a subdiierential type boundary condition. Some conditions ensuring lower semicontinuity of the value functions are also given.